Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
591	Microsoft Word - Inferentialism-Sofia.doc Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2012-05-27 04:13:34 Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
592	Coarse-to-fine n-best parsing and MaxEnt discriminative reranking Eugene Charniak and Mark Johnson Brown Laboratory for Linguistic Information Processing (BLLIP) Brown University Providence, RI 02912 {mj\|ec}@cs.brown.edu Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 02:43:49 Science Statistical natural language processing Programming language implementation Computational linguistics Statistical parsing Parsing LL parser Top-down parsing Stochastic context-free grammar Formal languages Linguistics Compiler construction
593	Perl versiondocumentation - perlclib NAME perlclib - Internal replacements for standard C library functions DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 16:06:42 Cross-platform software Procedural programming languages C programming language Formal languages C file input/output C Perl String Daylight saving time Computing Software C Standard Library
594	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
595	Head-Driven Statistical Models for Natural Language Parsing Michael Collins∗ MIT Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 18:49:53 Computational linguistics Stochastic context-free grammar Treebank Parsing CYK algorithm Parse tree Formal grammar Context-free grammar Statistical parsing Formal languages Natural language processing Linguistics
596	Course logistics in brief Seven Lectures on Statistical Parsing • Instructor: Christopher Manning • • Office hours: Thu 10–12 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-06 14:53:24 Programming language implementation Science Statistical natural language processing Computational linguistics Parsing Bottom-up parsing Top-down parsing Statistical parsing Treebank Formal languages Linguistics Compiler construction
597	The 11th Annual Bio-Ontologies Meeting Phillip Lord, Newcastle University Nigam Shah, Stanford University Susanna-Assunta Sansone, EMBL-EBI Matthew Cockerill, BioMed Central Add to Reading List Source URL: bio-ontologies.org.uk Language: English - Date: 2010-02-03 11:28:13 Data Formal ontology Web Ontology Language Knowledge representation and reasoning Upper ontology Ontology components Ontology Science Information
598	Lex - A Lexical Analyzer Generator Add to Reading List Source URL: epaperpress.com Language: English - Date: 2013-03-28 22:18:26 Parser generators Compiling tools Formal languages Compiler construction Combinatorics on words Lex Regular expression Yacc Printf format string Computing Software Programming language implementation
599	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
600	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing

UPDATE